Composing Event Constraints in State-Based Specification
نویسنده
چکیده
Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints on event occurrences and event parameters. This paper investigates the possibility to export this specification paradigm to a state-based formalism, and discusses some deriving advantages in terms of verification.
منابع مشابه
Predicates for state changes vs. processes for event patterns
The two informal ‘mental landscapes’ that provide the intuitive substratum for stateoriented and event-oriented formal specifications are discussed, and abstractly characterised as networks of constraints. The structuring facilities offered by the two approaches are contrasted. A technique is introduced for expanding an event-oriented specification consisting of a fixed pattern of interacting p...
متن کاملTowards Reusable Real-Time Objects
Large and complex real-time systems can benefit significantly from a component-based development approach where new systems are constructed by composing reusable, documented and previously tested concurrent objects. However, reusing objects which execute under real-time constraints is problematic because application specific time and synchronization constraints are often embedded in the interna...
متن کاملTimed DILL: Digital Logic in LOTOS
A timed extension to DILL (DIgital Logic in LOTOS) is discussed. The extension is based on ETLOTOS (Enhanced Timed LOTOS) and is used to specify timed digital logic. The approach places timing properties in two categories: timing constraints and delays. A parallel-serial model is used to form a timed specification by composing the functionality of a digital component with timing constraints and...
متن کاملIST - 1999 - 20398 PECOS Project Deliverable ABB
(i) a Component Model for embedded system components addressing behaviour specification and nonfunctional properties and constraints, (ii) a Component Repository utilising this model, supporting a composition environment and interfacing to a component specification environment, (iii) an interactive Composition Environment for composing embedded applications from components, validating functiona...
متن کاملJinn: Synthesizing a Dynamic Bug Detector for Foreign Language Interfaces
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, composing languages in multilingual programs is not. Because multilingual programs are prevalent, poor specification is a source of many errors. For example, virtually all Java programs compose Java and C with the Java Nativ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004